Nuprl Definition : xxsymmetrize 13,42
xxsymmetrize(E)(x,y) == E(x,y) & E(y,x) 
latex

Upgen algebra 1
Wellformedness Lemmasxxsymmetrize wf
DefinitionsP & Q

origin